(300/300) 1886 - HelpServer issues

When I use HelpServer, I have two issues. I'm not sure if one is causing the other.

I get these lines in the activity.log:

1:28:35 PM [NanoHttpd Request Processor (#2)] [warning] HelpServer: Unable to load file:/home/danson/apps/jedit/current/doc/api/resources/tab.gif
1:28:35 PM [NanoHttpd Request Processor (#1)] [warning] HelpServer: Unable to load file:/home/danson/apps/jedit/current/doc/api/resources/background.gif
1:28:36 PM [NanoHttpd Request Processor (#3)] [warning] HelpServer: Unable to load file:/home/danson/apps/jedit/current/doc/api/resources/titlebar.gif
1:28:36 PM [NanoHttpd Request Processor (#4)] [warning] HelpServer: Unable to load file:/home/danson/apps/jedit/current/doc/api/resources/titlebar_end.gif

I'm not sure where these come from, I don't see them in the HelpServer source code.

The second issue is everytime I click something in the left pane, the browser reloads and the left pane is scrolled back to the top and all nodes are collapsed. This is a pain when I'm browsing the jEdit API docs, which are way at the bottom of the left pane.

Submitted	daleanson - 2017-06-06 19:39:42.415000	Assigned	kerik-sf
Priority	5	Labels
Status	open	Group
Resolution	None

Comments

2017-06-08 16:35:09.284000 kerik-sf	Missing files These are resources used on the javadoc pages (blue background on top of the page behind "Overview", "Package", "Class", etc. They don't exist in the installed version of the api docs but are in a local build directory (build/doc/api/resources/tab.gif). Maybe `.gif` files are not included. I just installed jEdit 5.4.0 and can confirm that opening doc/api/index.html in firefox I don't get the blue background. Panel reloads* What browser do you use? I don't get this behaviour on Firefox/Linux.
2017-06-08 16:35:18.921000 kerik-sf	- assigned_to: Eric Le Lay - Group: -->
2017-06-08 17:09:13.491000 daleanson	I'm using Chrome on Arch linux, jEdit from svn head, openjdk 1.8.0_121, HelpServer 1.0.0 from plugin manager.
2017-06-08 17:13:05.371000 daleanson	Also, I don't see those image files in git. Maybe they haven't been added?
2017-06-08 17:16:10.666000 daleanson	I also don't get the page reloaded and navigation reset when I use Firefox.
2017-06-09 06:25:46.116000 kerik-sf	They are generated by javadoc, I think.
2017-06-09 20:10:22.152000 kerik-sf	confirmed in chromium. I'll look into it.